1
Fundamentos: Da Separação de Variáveis ao Operador S-L
MATH009Lesson 11
00:00

A teoria de Sturm-Liouville (S-L) surge como o elo matemático entre as leis de conservação física — que governam fenômenos como cordas vibrantes e transmissão elétrica — e a linguagem formal dos operadores lineares. Ao aplicar a Segunda Lei de Newton a um elemento infinitesimal $\Delta x$ e utilizar o método da separação de variáveis, transformamos equações diferenciais parciais (EDPs) específicas em um quadro geral de EDOs $(p(x)X')' - q(x)X + \lambda r(x)X = 0$.

A Física do Movimento: Das Cordas às Equações

A lei de Newton, aplicada ao elemento $\Delta x$ da corda, afirma que a força externa resultante, devido à tensão nas extremidades do elemento, deve ser igual ao produto da massa do elemento pela aceleração de seu centro de massa: $\rho \Delta x u_{tt}(\bar{x}, t)$.

Resolvendo a tensão $T$ em componentes horizontais $H$ e verticais $V$ (como visto em Figura 10.B.1), estabelecemos equilíbrio e movimento:

  • Equilíbrio Horizontal: $T(x + \Delta x, t) \cos(\theta + \Delta \theta) - T(x, t) \cos \theta = 0$ (resultando em $H$ constante).
  • Movimento Vertical: $\frac{V(x + \Delta x, t) - V(x, t)}{\Delta x} = \rho u_{tt}(\bar{x}, t)$, o que leva à relação de gradiente $V_x(x, t) = \rho u_{tt}(x, t)$.
  • Propagação de Onda: Substituindo $V(x, t) = H(t) \tan \theta \approx H(t) u_x(x, t)$ resulta em $H u_{xx} = \rho u_{tt}$, ou a equação padrão equação de onda para uma dimensão espacial: $a^2 u_{xx} = u_{tt}$, onde $a^2 = \frac{T}{\rho}$ é a velocidade da onda.

A Equação do Telegrafo e sua Generalização

Sistemas do mundo real raramente são ideais. Eles incorporam uma força de amortecimento viscoso ($-c u_t$) e uma força restauradora elástica ($-k u$). Isso produz a equação do telegrafo:

$$u_{tt} + c u_t + k u = a^2 u_{xx} + F(x, t)$$

A equação do telegrafo também governa o fluxo de tensão ou corrente em uma linha de transmissão (daí o seu nome); neste caso, os coeficientes estão relacionados aos parâmetros elétricos da linha. Estendendo isso a dimensões superiores, obtemos $a^2(u_{xx} + u_{yy}) = u_{tt}$ ou $a^2(u_{xx} + u_{yy} + u_{zz}) = u_{tt}$.

O Surgimento do Operador S-L

Quando aplicamos a separação de variáveis ($u = X(x)T(t)$) a uma equação generalizada como $r(x) u_t = (p(x) u_x)_x - q(x) u$, obtemos uma razão igual a uma constante de separação $-\lambda$:

Passo da Separação
$$\frac{T'}{T} = \frac{(p(x) X')'}{r(x) X} - \frac{q(x)}{r(x)} = -\lambda$$
EDOs Resultantes

Isso força o componente temporal em $T' + \lambda T = 0$ e o componente espacial na forma fundamental S-L:

$$(p(x) X')' - q(x)X + \lambda r(x)X = 0$$
🎯 Princípio Central
O operador S-L $L[y] = -(p(x)y')' + q(x)y$ atua como um recipiente universal para dinâmicas espaciais. Seja qual for o ponto de partida — condução de calor ($\alpha^2 u_{xx} = u_t$) ou cordas vibrantes ($a^2 u_{xx} = u_{tt}$) — o componente espacial $X(x)$ sempre se reduz a um problema de autovalores S-L.